- эквационально
- equationally
эквационально полное расширение — equationally complete extension
Русско-английский технический словарь.
эквационально полное расширение — equationally complete extension
Русско-английский технический словарь.
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия